Dcpo models of T1 spaces
نویسندگان
چکیده
A poset model of a topological space X is a poset P together with a homeomorphism φ : X−→Max(P ) (Max(P ) is the subspace of the Scott space ΣP consisting of maximal points of P ). In [11] (also in [2]), it was proved that every T1 space has a bounded complete algebraic poset model. It is, however still unclear whether each T1 space has a dcpo model. In this paper we give a positive answer to this problem. In section 1, we show that every T1 space has a dcpo model. In section 2, we prove that a T1 space is sober if and only if its dcpo model constructed in section 1 is a sober dcpo. These results provide us with a method to construct non-sober dcpos from any non-sober T1 spaces. In section 3, for some special spaces we construct a more concrete dcpo model.
منابع مشابه
A non-topological view of dcpos as convergence spaces
The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category CONV of convergence spaces. It is well known that the category DCPO of dcpos and Scott continuous functions can be embedded into TOP, and so into CONV, by considering the Scott topology. We propose a di3erent, “cotopological” embedding of DCPO into CONV, which, in contrast to t...
متن کاملNatural non-dcpo domains and f-spaces
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF = PCF + pif (parallel if). Here we will present ...
متن کاملPartial Dcpo’s and Some Applications
We introduce partial dcpo’s and show their some applications. A partial dcpo is a poset associated with a designated collection of directed subsets. We prove that (i) the dcpo-completion of every partial dcpo exists; (ii) for certain spaces X, the corresponding partial dcpo’s of continuous real valued functions on X are continuous partial dcpos; (iii) if a space X is Hausdorff compact, the latt...
متن کاملDomain theoretic models of topological spaces
A model of a space X is simply a continuous dcpo D and a homeomorphism : X ! max D, where max D is given its inherited Scott topology. We show that a space has a coherent model ii it has a Scott domain model and investigate the topological structure of spaces which have G models.
متن کاملOn Natural Non-dcpo Domains
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not ω-complete and therefore not continuous in the traditional terminology (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF ...
متن کامل